Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
281	A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-06-09 16:20:27 Constraint programming Logic in computer science Boolean algebra Automated theorem proving Mathematical logic Boolean satisfiability problem DPLL algorithm Local search Davis–Putnam algorithm Theoretical computer science Applied mathematics Mathematics
282	Microsoft Word - IHD_OS_Vol1_Part5.doc Add to Reading List Source URL: files.renderingpipeline.com Language: English - Date: 2013-09-24 10:27:09 Mask Exclusive or Swap Logic Numbers Binary arithmetic Boolean algebra Mathematics
283	Copyright 2003 vordenker.de T HIS MATERIAL MAY BE FREELY COPIED AND REUSED , PROVIDED THE AUTHOR AND SOURCES ARE CITED a printable version may be obtained from POLY-CONTEXTURAL MODELING OF HETERARC Add to Reading List Source URL: www.vordenker.de Language: English - Date: 2006-12-14 20:21:10 Boolean algebra Logical connectives Truth table Logical Domains Interpretation Entailment Negation Logic Semantics Propositional calculus
284	PDF Document Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:25:15 Semantics Philosophy of language Symbol grounding Symbolism Function Language Boolean algebra Axiom Mathematics Logic Linguistics
285	On a weakness of the Tu-Deng function and its repair Claude Carlet ∗ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-08 06:03:26 Algebra Field theory Bent function Combinatorics Cryptography E-function Algebraic normal form Field Algebraic geometry Abstract algebra Mathematics Boolean algebra
286	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
287	LNCSFrom Black-Box Learning Objects to Glass-Box Learning Objects Add to Reading List Source URL: www.philippe-fournier-viger.com Language: English - Date: 2009-07-06 06:38:03 Cognitive psychology Boolean algebra Science Information Ontology Tbox Abox
288	Microsoft Word - 1d1_Nakano.doc Add to Reading List Source URL: www.iioa.org Language: English - Date: 2008-07-31 06:40:23 Input-output model Regional science Production function Function Waste Matrix Boolean algebra Science Mathematics Functions and mappings Algebraic logic
289	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
290	Negative Ternary Set-Sharing Eric Trias,1,2, Jorge Navas,1 Elena S. Ackley,1 Stephanie Forrest1 , and M. Hermenegildo1,3 1 University of New Mexico, USA Air Force Institute of Technology, USA Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-11-02 22:57:41 Formal languages Boolean algebra Character encoding String FO Finitary relation Binary decision diagram Mathematics Theoretical computer science Combinatorics

UPDATE